#include <stdio.h>

int main()
{
	fprintf(stdout, "1234", 5);
	fprintf(stderr, "abcd", 4);
}
